COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%turing[w89,jmc]		Title and abstract for Turing lecture
C00004 ENDMK
C⊗;
%turing[w89,jmc]		Title and abstract for Turing lecture

Mathematical Logic and Turing's Ideas about AI

Abstract: Alan Turing's 1950 article, ``Computing Machinery and
Intelligence'', contains the first statement that the problem of
making an intelligent machine is the same as that of making an
intelligent computer program.  He also posed the problem of artificial
intelligence in a concrete form---playing the imitation game.
He thought this could be done by the end of the century.
The present lecture will discuss the problem as posed by Turing
and the prospects for solving it.  We will emphasize the possibilities
offered by programs that use mathematical logic, a subject to
which Turing made important contributions but scarcely referred to
in his article.  If enough can be found out, the lecture will also
discuss the intellectual atmosphere in which Turing's article was
written.